Definition des
... ... ... Operateur(MachinesTrieuses) (*)
Zerstarten